graph theory:directed cycle